Observations on Spreadsheet Languages, Intension and Dataflow
نویسندگان
چکیده
Spreadsheet languages for distributed computing are of great interest because they unite ease of use with the ability to express parallel computations. This paper discusses some issues that these languages raise, in the context of dataflow and intensional programming languages such as Lucid. First, proper design and implementation of spreadsheet languages (as we see it) places stress on both the eductive and data-driven dataflow models of computation. Second, spreadsheets feature both relative and what we have called implicit addressing, which are both forms of intension; we compare these to the intensionality found in Lucid. Third, since spreadsheets are often used by unsophisticated users, the abstract reasoning skills taken for granted by scientists cannot be assumed. This elevates syntax in importance. We therefore propose an extended multi-dimensional array notation which unites simplicity, intensionality, concreteness and historical usage.
منابع مشابه
A Scalable Method for Deductive Generalization in the Spreadsheet Paradigm
In this paper, we present an efficient method for automatically generalizing programs written in spreadsheet languages. The strategy is to do generalization through incremental analysis of logical relationships among concrete program entities from the perspective of a particular computational goal. The method uses deductive dataflow analysis with algebraic backsubstitution rather than inference...
متن کاملFirst-Order Functional Languages and Intensional Logic
The purpose of this paper is to demonstrate that first-order functional programs can be transformed into intensional programs of nullary variables, in a semantics preserving way. On the foundational side, the goal of our study is to bring new insights and a better understanding of the nature of functional languages. From a practical point of view, our investigation provides a formal basis for t...
متن کاملCrossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages
Functional reactive programming integrates dynamic dataflow with functional programming to offer an elegant and powerful model for expressing computations over time-varying values. Developing realistic applications, however, requires access to libraries, such as those for GUIs, that are written in mainstream object-oriented languages. Previous work has developed functional reactive interfaces f...
متن کاملHigher-Order Functional Languages and Intensional Logic
In this paper we demonstrate that a broad class of higher-order functional programs can be transformed into semantically equivalent multidimensional intensional programs that contain only nullary variable definitions. The proposed algorithm systematically eliminates userdefined functions from the source program, by appropriately introducing context-manipulation (i.e., intensional) operators. Th...
متن کاملViscid, a vi-like screen editor written in Lucid∗
In this paper we describe a full screen editor program written entirely in Lucid, a functional dataflow language. Our goal was to verify that pure nonprocedural languages can be used to program ‘realistic’ applications, including ones involving interactive I/O. The editor (which we call viscid) is similar to the vi editor of Berkeley UNIX(TM). Viscid is much simpler than vi but does handle basi...
متن کامل